🔍 Type Inference - hello · Scour

Build a Compiler in Five Projects

kmicinski.com·6h

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference

arxiv.org·2d

🎯Hindley-Milner

en.wikipedia.org·1d·

Discuss: Hacker News

📐Type Theory

**Abstract:** This paper proposes a novel framework for quantifying the inherent logical incompleteness present in Gödelian systems by dynamically mapping ax...

freederia.com·1d

🧮SMT Solvers

Let Lambda Come Over

yamlscript.org·11h

λFunctional Programming

learning by reverse engineering

clymup.com·2h

🔍Reverse Engineering

Why I use Typetify: A Type-Safe Alternative to Lodash

dev.to·4h·

Discuss: DEV

Nonlinear random walks on hypergraphs characterized by higher-order interactions

sciencedirect.com·1h

🕸️Graph Theory

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

λFunctional Programming

hsutter/cppfront: A personal experimental C++ Syntax 2 -> Syntax 1 compiler

github.com·1d·

Discuss: r/cpp

🔨Incremental Compilation

StatLLM: A Dataset for Evaluating the Performance of Large Language Models in Statistical Analysis

nature.com·1d

🌳Tree-sitter

llOOPy lOOPs (Dave Jarvis)

dave.autonoma.ca·1d

🧠Memory Models

10-Part Series on Breadth-First Traversals in Haskell

doisinkidney.com·1d·

Discuss: Hacker News

🌳Fenwick Trees

🎲 TypeScript strictness is non-monotonic: strict-null-checks and no-implicit-any interact

huonw.github.io·21h

These Mathematicians Are Trying to Educate A.I.

nytimes.com

·6h

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·22h

∘Category Theory

The anti-Bayesian is standing at the back window with a shotgun, scanning for priors coming over the hill, while a million assumptions just walk right into his house through the front door. (also, an interesting point by Yann LeCun about human language)

statmodeling.stat.columbia.edu·1d

⏰Lamport Clocks

First Proof | Research-Level Math for AI Evaluation

1stproof.org·1d·

Discuss: Hacker News

🧮SMT Solvers

Theory-independent monitoring of the decoherence of a superconducting qubit with generalized contextuality

nature.com·6h

⚛️Quantum Computing

Logistic Regression, Average Marginal Effects, and the Linear Probability Model - Part II: Coefficients and AMEs of nested models

elff.eu·1d

⚡Polars Expression API

Loading more...